A Testing Algorithm of an Universal Algebra to Be a Brandt Groupoid
نویسنده
چکیده
The main aim of this paper is to present a program on computer for decide if an universal algebra is a groupoid. Using the theory of groupoids and the program BGroidAP1 we prove a theorem of classification for the groupoids of type (4; 2). 1
منابع مشابه
GROUPOID ASSOCIATED TO A SMOOTH MANIFOLD
In this paper, we introduce the structure of a groupoid associated to a vector field on a smooth manifold. We show that in the case of the $1$-dimensional manifolds, our groupoid has a smooth structure such that makes it into a Lie groupoid. Using this approach, we associated to every vector field an equivalence relation on the Lie algebra of all vector fields on the smooth...
متن کاملC*-algebras on r-discrete Abelian Groupoids
We study certain function algebras and their operator algebra completions on r-discrete abelian groupoids, the corresponding conditional expectations, maximal abelian subalgebras (masa) and eigen-functionals. We give a semidirect product decomposition for an abelian groupoid. This is done through a matched pair and leads to a C*-diagonal (for a special case). We use this decomposition to study ...
متن کاملOn the Finite Groupoid G(n)
In this paper we study the existence of commuting regular elements, verifying the notion left (right) commuting regular elements and its properties in the groupoid G(n). Also we show that G(n) contains commuting regular subsemigroup and give a necessary and sufficient condition for the groupoid G(n) to be commuting regular.
متن کاملA History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...
متن کاملFuzzy universal algebras on $L$-sets
This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...
متن کامل